Freedom to (Smart) Contract

Individual Rights and Contract: (Freedom and Reciprocity in Contract Law)

renvoi and freedom of contract

it is a possibility that when the parties to a contract choose the law of a country as the applicable law, that law may reject such agreement and refer the contract to another law. it is generally accepted that in such a situation, the provisions of the law chosen, excluding rules relating to conflict of laws, should apply to the contract. however, some lawyers believe that the substantive prov...

Scilla: a Smart Contract Intermediate-Level LAnguage

This paper outlines key design principles of Scilla—an intermediatelevel language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification. Scilla is not meant to be a high-l...

Contracts of Adhesion-Some Thoughts About Freedom of Contract

"We Insist! Freedom Now": Does Contract Doctrine Have Anything Consitutional to Say?